كامل كنيد(رسته)

1-1رستهها 1-1-1 تعريف:هر رسته ردهاي است مانند C از اشياء (كه با A,B,C,… نموده ميشوند) به انضمام: يك) يك رده از مجموعههاي از هم جدا، كه با نموده ميشود، براي هر جفت از اشياء در C (عنصر f از يك ريختار از A به B ناميده و با نموده ميشود). دو) به ازاي هر سهتايي ( A ,B ,C) از اشياء در C،تابعي مانند: (براي ريختارهاي و ،اين تابع بصورت نوشته و تركيب f و g خوانده ميشود)كه در دو اصل زير صدق ميكند: (دو-1) شركتپذيري: هرگاه و و ريختارهاي در C باشند آنگاه